计算机自动绘制光学零件图的软件系统的研制

介绍了计算机光学零件图自动绘制软件系统的功能，给出了用该软件完成的光学零件图图样，对程序设计过程中的难点及处理方法也进行了详细阐述。     

数字测图,数字制图及勘测设计一体化

简述引用瑞得软件建立数字化成图系统，以进一步实现测量与工程设计一体化，使得繁琐的作业过程变为简单，缩短作业时间，不断提高生产作业效率。     

一个表示和运用非功能性需求的框架

本文分析了一个软件开发进程中表示和运用非功能性需求的综合框架，该框架的目的是开发一套技术以调整软件开发进程中的设计决策，从而强调了依据非功能需求，探索合理化的软件开发进程。     

水利测绘产品质量分析与检验方法研究

分析了影响测绘产品质量的主要因素，提出了完善测绘市场、加强水电测绘产品的检查验收是保证产品质量的关键，同时提出了产品质量的等级划分和检验方法，并且说明了根据测量工作的不同要求对检验方法及检验深度合理定位的必要性。     

A Compositional Framework for Hardware/Software Co-Design

We describe a compositional framework, together with its supporting toolset, for hardware/software co-design. Our framework is an integration of a formal approach within a traditional design flow. The formal approach is based on Interval Temporal Logic and its executable subset, Tempura. Refinement is the key element in our framework because it will derivefrom a single formal specification of the system the software and hardware parts of the implementation, while preserving all properties of the system specification. During refinement simulation is used to choose the appropriate refinement rules, which are applied automatically in the HOL system. The framework is illustrated with two case studies. The work presented is part of a UK collaborative research project between the Software Technology Research Laboratory at the De Montfort University and the Oxford University Computing Laboratory.     

ECAP细化晶粒法的仿真与分析

ECAP(Equal Channel Angular Extrusion)方法，是实现材料纯剪切变形的有效方法。本文采用有限元（FEA）分析软件ANSYS对Al的挤压过程进行仿真与分析。分析结果表明：外切角Φ、圆角半径、试样与凹模之间的摩擦系数、凹模本身的特性（如弹性模量、泊松比等）等等，对材料的变形量都有不同程度的影响。     

低碳钢热变形过程中铁素体的织构形成规律

利用背散射电子衍射取向成像技术定量分析了热模拟单向压缩条件下Q235碳素钢热变形时铁素体的织构形成规律。结果表明,在710℃纯铁素体热压缩过程中,形成〈100〉和〈111〉方向的线织构。〈111〉方向织构增强的速度较快,到应变为1.0时达最大值,然后随应变的加大而减弱;〈100〉方向织构在形变量较小时增强的速度较慢,在大应变时增强的速度很快。大应变时虽导致一定程度的动态再结晶,使铁素体晶粒细化,但组织不均匀,织构过强,造成强烈的各向异性。在奥氏体与铁素体两相区变形时,先共析铁素体因形变同样产生强烈的织构。随着形变温度的提高和先共析铁素体的减少,织构减弱。     

Banach空间Fuzzy多值隐拟变分包含

在Banach空间中并在不具紧性的条件下，引入和研究了一类fuzzy多值隐拟变分包含及相应的fuzzy隐预解算子方程，借助预解算子技巧，建立了Banach空间中fuzzy多值隐拟变分包含与预解算子方程的等价性，得到了该类fuzzy多值隐拟变分包含的迭代算法与某些解的存在性定理及解的迭代逼近。     

Efficient return algorithms for associated plasticity with multiple yield planes

A new return method for implicit integration of linear isotropic yield criteria is presented. The basic idea is to perform all the manipulations in the principal stress space and thereby achieve very simple formulae for calculating the plastic corrector stresses, based on the constant gradient of such criteria. The return formulae are in closed form and no iteration is required. The method accounts for three types of stress return: return to a single yield plane, to a discontinuity line at the intersection of two yield planes and to a discontinuity point at the intersection between three or more yield planes. The infinitesimal and the consistent elastoplastic constitutive matrix are calculated for each type of stress return, as are the conditions to ascertain which type of return is required. The method is exemplified with the Mohr–Coulomb yield criterion. Copyright © 2005 John Wiley & Sons, Ltd.